A knowledge based approach to program debugging / [by] Yuh-jeng Lee.
Title from cover
Publisher Monterey, California : Naval Postgraduate School
Call number ocn471780160
Digitizing sponsor Naval Postgraduate School, Dudley Knox Library
Book contributor Naval Postgraduate School, Dudley Knox Library
Collection navalpostgraduateschoollibrary; fedlink; americana
Notes No copyright page found. No table-of-contents pages found. No title page found.
Full catalog record MARCXML
"Prepared for: Naval Postgraduate School"--Cover
Includes bibliographical references (p. 71-74)
Technical report; 1989
We are exploring the use of executable specifications in automating the process of debugging logic programs. We have formulated a computer model that encodes programming knowledge including a classification of program bugs, heuristics that analyze and repair program errors, and operational semantics off the language, and is capable of reasoning with programs and their specifications. The realization of our methodology is the Constructive Interpreter which functions as a debugger as well as program synthesizer. It contains three major components: test case generator, bug locator, and bug corrector. The test case generator can generate test data systematically by executing specifications. The bug locator will automatically locate a bug should the program fail to compute an answer that agrees with the specifications. The bug corrector will analyze the nature of the bug and invoke correction heuristics which might involve the use of (1) a deductive theorem prover which will try to construct a proof and deduce sufficient conditions to amend the program, and (2) an inductive program generator which will synthesize the missing part of the program. In this paper, we present our approach and an implementation of the experimental prototype debugger
aq/aq cc:9116 06/06/97
This book has an
editable web page